index-of-first x in L.P(x) == search(||L||;i.P(L[i])) 

latex

Definitions	search(k;P), ||as||, l[i]
FDL editor aliases	first_index